Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
331	Semantics for Dynamic Syntactic Epistemic Logics ˚ Thomas Agotnes Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 12:33:36 Formal languages Propositional calculus Predicate logic Logical truth Interpretation First-order logic Substitution Indiscernibles Formation rule Logic Mathematical logic Model theory
332	Noname manuscript No. (will be inserted by the editor) Varieties of Intensification Remarks on Beltrama and Bochnak ‘Intensification without degrees cross-linguistically’ Add to Reading List Source URL: web.mit.edu Language: English - Date: 2014-09-30 10:05:34 Semantics Formal languages Philosophical logic Parts of speech Quantification Predicate Interpretation Intensifier Modal logic Logic Linguistics Grammar
333	2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:50:55 Logic in computer science Programming language semantics Models of computation Causality Determinism Philosophy of science Operational semantics NP Parallel computing Theoretical computer science Applied mathematics Programming language theory
334	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-02-11 09:36:47 Creativity Problem solving Thought Algorithm Function Symbol Predicate transformer semantics Mathematics Formal methods Abstraction
335	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
336	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
337	Quantificational Logic and Empty Names Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2014-03-17 14:09:09 Predicate logic Logical syntax Metalogic First-order logic Modal logic Entailment Saul Kripke Well-formed formula Formal semantics Logic Mathematical logic Philosophical logic
338	EUJAP  VOL. 3  No. 2  2007 Original scientific paper UDk: 1:81 165 Add to Reading List Source URL: www.ffri.hr Language: English - Date: 2014-07-09 05:48:19 Semantics Quantification Bertrand Russell Philosophy of language Formal languages Definite description Interpretation On Denoting Theory of descriptions Logic Linguistics Syntax
339	ELR[removed]Clarification Document for EHR Technology Certification Add to Reading List Source URL: www.cdc.gov Language: English - Date: 2014-12-17 12:03:49 Semantics Query languages Predicate logic Model theory Formal languages Health Level 7 SQL Extensible Storage Engine Predicate Logic Mathematical logic Computing
340	A Technique for Analyzing the Effects of Changes in Formal Specifications Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2014-12-18 20:03:24 Predicate logic Propositional calculus Semantics Model theory First-order logic Cross-linked polyethylene Function Predicate Propositional formula Logic Mathematical logic Mathematics

UPDATE